$\forall$$M$:(Id$\rightarrow$MsgA). s{-}dsys($M$) $\in$ Dsys